Flow-based programming - PDFSEARCH.IO - Document Search Engine

Flow-based programming
Results: 49

#	Item
11	Maximal and Compositional Pattern-Based Loop Invariants Virginia Aponte1 , Pierre Courtieu1 , Yannick Moy2 , and Marc Sango2 1 CNAM, 292 rue Saint-Martin FParis Cedex 03 - FRANCE Add to Reading List Source URL: www.open-do.org Language: English - Date: 2012-05-11 04:00:25 Computing Loop invariant Invariant Infinite loop Constructible universe For loop Loop-invariant code motion Invariant theory Software engineering Computer programming Control flow
12	1 Securing Class Initialization in Java-like Languages Willard Rafnsson, Keiko Nakata, and Andrei Sabelfeld Abstract—Language-based information-flow security is concerned with specifying and enforcing security policie Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-08-22 04:05:38 C programming language Deduction Java programming language Initialization Final Objective-C Entailment Struct Data-flow analysis Software engineering Computer programming Logic
13	Representative Families: A Unified Tradeoff-Based Approach Hadas Shachnai and Meirav Zehavi Department of Computer Science, Technion, Haifa 32000, Israel {hadas,meizeh}@cs.technion.ac.il Abstract. Let M = (E, I) be a mat Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2014-04-27 19:17:21 Dominating set Polynomials Randomized algorithm Dynamic programming Sheaf Push-relabel maximum flow algorithm Tree decomposition Mathematics Theoretical computer science Applied mathematics
14	A Library for Removing Cache-based Attacks in Concurrent Information Flow Systems Extended Version Pablo Buiras1 , Amit Levy2 , Deian Stefan2 , Alejandro Russo1 , and David Mazi`eres2 1 Add to Reading List Source URL: www.scs.stanford.edu Language: English - Date: 2013-08-05 06:28:09 Computer programming Functional programming Control flow Monad Central processing unit Parallel computing Scheduling Futures and promises Thread Computing Software engineering Adjoint functors
15	On Safety of Pseudonym-Based Location Data in the Context of Constraint Satisfation Problems Tomoya Tanjo1 , Kazuhiro Minami1 , Ken Mano2 , and Hiroshi Maruyama1 1 Add to Reading List Source URL: systemsresilience.org Language: English - Date: 2014-03-05 04:21:36 Computer programming Programming paradigms Computing Constraint satisfaction Flow network Mathematical optimization Local consistency Constraint programming Operations research Software engineering
16	An (Architecture-centric) Approach for Tracing, Organizing, and Understanding Events in Event-based Software Architectures Scott A. Hendrickson, Eric M. Dashofy, and Richard N. Taylor Institute for Software Research, Uni Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2008-06-13 16:49:49 Computing Software architecture Debugging Control flow Causality Conditionals Component-based software engineering Tracing Hooking Software engineering Philosophy of science Computer programming
17	Parallelization Approach High Performance Computing with Hybrid FLOW-3D/MP The Hybrid version of FLOW-3D uses OpenMP and Message Passing Interface (MPI) to achieve parallelization. The OpenMP paradigm is based on shared Add to Reading List Source URL: www.flow3d.com Language: English - Date: 2015-04-02 16:26:38 Parallel computing Application programming interfaces Message Passing Interface OpenMP Thread Computer cluster Parallel programming model Algorithmic skeleton Earth Simulator Computing Concurrent computing Computer programming
18	Compiler optimizations based on call-graph flattening Add to Reading List Source URL: cafxx.strayorange.com Language: English - Date: 2011-08-22 07:52:53 Compiler construction Control flow Compiler optimizations Programming language implementation Static single assignment form Setjmp.h Continuation-passing style Constant folding Subroutine Software engineering Computing Computer programming
19	MITSUBISHI ELECTRIC RESEARCH LABORATORIES http://www.merl.com Consensus-based Distributed Optimal Power Flow Algorithm Add to Reading List Source URL: www.merl.com Language: English - Date: 2015-03-10 17:36:54 Mathematics Applied mathematics Electric power Power engineering Power flow study Mathematical optimization Constraint optimization Algorithm Linear programming Electromagnetism Electrical engineering Operations research
20	Experiments with Worlds Aran Lunzer and Yoshiki Ohshima This material is based upon work supported in part by the National Science Foundation under Add to Reading List Source URL: www.vpri.org Language: English - Date: 2015-01-21 19:16:52 Control flow Associative arrays Transaction processing Eval C Self Lookup table Extensible Storage Engine Isolation Computing Software engineering Computer programming